QMaxSATpb: A Certified MaxSAT Solver

While certification has been successful in the context of satisfiablity solving, with most state-of-the-art solvers now able to provide proofs unsatisfiability, maximum satisfiability, such techniques are not yet widespread. In this paper, we present QMaxSATpb, an extension QMaxSAT that can produce optimality VeriPB proof format, which itself builds on well-known cutting planes system. Our experiments demonstrate logging is possible without much overhead.